ON INTERNAL CATEGORIES IN HIGHER DIMENSIONAL GROUPS

Internal Categories and Quantum Groups

Higher dimensional Thompson groups

Three groups F ⊆ T ⊆ V , known as Thompson groups, have generated interest since R. J. Thompson introduced them in the late 1960s. Part of their initial interest was the fact that T and V supplied the first known examples of infinite, simple, finitely presented groups. Since then, other properties of the groups have been studied as well as their interaction with other areas of mathematics. The ...

Higher Dimensional Categories: Model Categories and Weak Factorisation Systems

Loosely speaking, “homotopy theory” is a perspective which treats objects as equivalent if they have the same “shape” which, for a category theorist, occurs when there exists a certain class W of morphisms that one would like to invert, but which are not in fact isomorphisms. Model categories provide a setting in which one can do “abstract homotopy theory” in subjects far removed from the origi...

Cubical Categories for Higher-Dimensional Parametricity

Reynolds’ theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds’ theory can be seen as the instantiation at dimension 1 of a theory of relational parametricity for System F that holds at all higher dimensions, including i...

Internal Topology on MI-groups

An MI-group is an algebraic structure based on a generalization of the concept of a monoid that satisfies the cancellation laws and is endowed with an invertible anti-automorphism representing inversion. In this paper, a topology is defined on an MI-group $G$ under which $G$ is  a topological MI-group. Then we will identify open, discrete and compact MI-subgroups. The connected components of th...